<!DOCTYPE html>
<html>
    <head>
        <meta charset="utf-8">
        <style>
            a:visited { color: darkblue; }
            a:link    { color: darkblue; text-decoration: none; }
            a:hover   { color: red; font-weight: bold; }

            table             { border-spacing: 0; }
            td                { border-right: 1px solid black; border-bottom: 1px solid black; padding: 5px; }
            td:first-child    { border-left: 1px solid black; }
            tr:first-child td { border-top: 1px solid black; }
        </style>
    </head>
    <body>
        <p><a name="state0"><b>0</b></a> * : S&apos;</p>
        <table>
            <tr><td>S&apos; &rarr; . S</td></tr>
            <tr><td bgcolor="lightgray">S &rarr; . A A A A</td></tr>
            <tr><td bgcolor="lightgray">A &rarr; . a</td></tr>
            <tr><td bgcolor="lightgray">A &rarr; . E</td></tr>
            <tr><td bgcolor="lightgray">E &rarr; . {<font color="blue">a</font>, <font color="blue">None</font>}</td></tr>
        </table>
        <p>transitions:</p>
            <p>&nbsp;&nbsp;S: goto <a href="#state1">1</a></p>
            <p>&nbsp;&nbsp;A: goto <a href="#state2">2</a></p>
            <p>&nbsp;&nbsp;a: shift to <a href="#state3">3</a></p>
            <p>&nbsp;&nbsp;E: goto <a href="#state4">4</a></p>
        <p>reductions:</p>
            <p>&nbsp;&nbsp;E &rarr; .  {<font color="blue">a</font>, <font color="blue">None</font>}</p>
        <p>shift-reduce conflict on a:</p>
            <p>&nbsp;&nbsp;&nbsp;shift: A &rarr; . a</p>
            <p>&nbsp;&nbsp;reduce: E &rarr; . {<font color="blue">a</font>}</p>

        <p><a name="state1"><b>1</b></a> * : S</p>
        <table>
            <tr><td>S&apos; &rarr; S . {<font color="blue">None</font>}</td></tr>
        </table>
        <p>reductions:</p>
            <p>&nbsp;&nbsp;S&apos; &rarr; S .  {<font color="blue">None</font>}</p>
        <p>predecessors:</p>
        <p>
            &nbsp;&nbsp;<a href="#state0">0</a>
        </p>

        <p><a name="state2"><b>2</b></a> * : A</p>
        <table>
            <tr><td>S &rarr; A . A A A</td></tr>
            <tr><td bgcolor="lightgray">A &rarr; . a</td></tr>
            <tr><td bgcolor="lightgray">A &rarr; . E</td></tr>
            <tr><td bgcolor="lightgray">E &rarr; . {<font color="blue">a</font>, <font color="blue">None</font>}</td></tr>
        </table>
        <p>transitions:</p>
            <p>&nbsp;&nbsp;A: goto <a href="#state5">5</a></p>
            <p>&nbsp;&nbsp;a: shift to <a href="#state3">3</a></p>
            <p>&nbsp;&nbsp;E: goto <a href="#state4">4</a></p>
        <p>reductions:</p>
            <p>&nbsp;&nbsp;E &rarr; .  {<font color="blue">a</font>, <font color="blue">None</font>}</p>
        <p>predecessors:</p>
        <p>
            &nbsp;&nbsp;<a href="#state0">0</a>
        </p>
        <p>shift-reduce conflict on a:</p>
            <p>&nbsp;&nbsp;&nbsp;shift: A &rarr; . a</p>
            <p>&nbsp;&nbsp;reduce: E &rarr; . {<font color="blue">a</font>}</p>

        <p><a name="state3"><b>3</b></a> * : a</p>
        <table>
            <tr><td>A &rarr; a . {<font color="blue">a</font>, <font color="blue">None</font>}</td></tr>
        </table>
        <p>reductions:</p>
            <p>&nbsp;&nbsp;A &rarr; a .  {<font color="blue">a</font>, <font color="blue">None</font>}</p>
        <p>predecessors:</p>
        <p>
            &nbsp;&nbsp;<a href="#state0">0</a>
            &nbsp;&nbsp;<a href="#state2">2</a>
            &nbsp;&nbsp;<a href="#state5">5</a>
            &nbsp;&nbsp;<a href="#state6">6</a>
        </p>

        <p><a name="state4"><b>4</b></a> * : E</p>
        <table>
            <tr><td>A &rarr; E . {<font color="blue">a</font>, <font color="blue">None</font>}</td></tr>
        </table>
        <p>reductions:</p>
            <p>&nbsp;&nbsp;A &rarr; E .  {<font color="blue">a</font>, <font color="blue">None</font>}</p>
        <p>predecessors:</p>
        <p>
            &nbsp;&nbsp;<a href="#state0">0</a>
            &nbsp;&nbsp;<a href="#state2">2</a>
            &nbsp;&nbsp;<a href="#state5">5</a>
            &nbsp;&nbsp;<a href="#state6">6</a>
        </p>

        <p><a name="state5"><b>5</b></a> * : A</p>
        <table>
            <tr><td>S &rarr; A A . A A</td></tr>
            <tr><td bgcolor="lightgray">A &rarr; . a</td></tr>
            <tr><td bgcolor="lightgray">A &rarr; . E</td></tr>
            <tr><td bgcolor="lightgray">E &rarr; . {<font color="blue">a</font>, <font color="blue">None</font>}</td></tr>
        </table>
        <p>transitions:</p>
            <p>&nbsp;&nbsp;A: goto <a href="#state6">6</a></p>
            <p>&nbsp;&nbsp;a: shift to <a href="#state3">3</a></p>
            <p>&nbsp;&nbsp;E: goto <a href="#state4">4</a></p>
        <p>reductions:</p>
            <p>&nbsp;&nbsp;E &rarr; .  {<font color="blue">a</font>, <font color="blue">None</font>}</p>
        <p>predecessors:</p>
        <p>
            &nbsp;&nbsp;<a href="#state2">2</a>
        </p>
        <p>shift-reduce conflict on a:</p>
            <p>&nbsp;&nbsp;&nbsp;shift: A &rarr; . a</p>
            <p>&nbsp;&nbsp;reduce: E &rarr; . {<font color="blue">a</font>}</p>

        <p><a name="state6"><b>6</b></a> * : A</p>
        <table>
            <tr><td>S &rarr; A A A . A</td></tr>
            <tr><td bgcolor="lightgray">A &rarr; . a</td></tr>
            <tr><td bgcolor="lightgray">A &rarr; . E</td></tr>
            <tr><td bgcolor="lightgray">E &rarr; . {<font color="blue">None</font>}</td></tr>
        </table>
        <p>transitions:</p>
            <p>&nbsp;&nbsp;A: goto <a href="#state7">7</a></p>
            <p>&nbsp;&nbsp;a: shift to <a href="#state3">3</a></p>
            <p>&nbsp;&nbsp;E: goto <a href="#state4">4</a></p>
        <p>reductions:</p>
            <p>&nbsp;&nbsp;E &rarr; .  {<font color="blue">None</font>}</p>
        <p>predecessors:</p>
        <p>
            &nbsp;&nbsp;<a href="#state5">5</a>
        </p>

        <p><a name="state7"><b>7</b></a> * : A</p>
        <table>
            <tr><td>S &rarr; A A A A . {<font color="blue">None</font>}</td></tr>
        </table>
        <p>reductions:</p>
            <p>&nbsp;&nbsp;S &rarr; A A A A .  {<font color="blue">None</font>}</p>
        <p>predecessors:</p>
        <p>
            &nbsp;&nbsp;<a href="#state6">6</a>
        </p>
    </body>
<html>
